On Applying Software Development Best Practice to FPFAs in Safety Critical Systems
نویسندگان
چکیده
New standards for developing safety-critical systems require the developer to demonstrate the safety and correctness of the programmable logic in such systems. In this paper we adapt software development best practice to developing high-integrity FPGA programs.
منابع مشابه
Mandated Requirements for Hardware/Software Combination in Safety-Critical Systems
Safety-critical systems are an important subset of high-assurance systems. Higher performance requirements have led to the increased use of combined hardware/software systems therein, with hardware devices taking processing load off software. As might be expected, safety-critical systems have many requirements made of them by established standards. By implication, and now by emerging safety sta...
متن کاملSaCS: A Method and a Pattern Language for the Development of Conceptual Safety Designs
Flight control systems, railway interlocking systems, and nuclear reactor protection systems are examples of safety critical systems from different industrial domains. A safety critical system within any of these domains requires some type of acceptance from a safety authority prior to commissioning. The minimum prerequisite for achieving acceptance is to comply with relevant normative requirem...
متن کاملFarm Food Safety Practices in the North of Iran
Food safety begins on the farms and farmers play a crucial role in producing healthy food. Several factors were investigated here including water quality, labor health, health facilities, packaging and storage, transportation, fertilizers and solid organic materials, and field sanitation to reach more comprehensive results. So, 380 farmers were selected from 77 villages of rural areas of Gonbad...
متن کاملApplying Evolutionary Testing to Search for Critical Defects
Software systems are used regularly in safety-relevant applications. Therefore, the occurrence of critical defects may not only cause costly recalls but may also endanger human lives. Accordingly, the development of software systems in industrial practice must comply with the highest quality requirements and standards. In practice, the most important analytical quality assurance method is dynam...
متن کاملThe practice of formal methods in safety-critical systems
By describing several industrial-scale applications of formal methods, this paper intends to demonstrate that formal methods for software development and safety analysis are increasingly adopted in the safety critical systems sector. The bene ts and limitations of using formal methods are described, and the problems of developing software for safety critical systems are analysed.
متن کامل